Scheme Basics
courses.cs.washington.edu·18h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮SMT Solvers
Data Science Path: Automatic Subclass Registration & Python Encryption Algorithms with LabEx
dev.to·13h·
Discuss: DEV
🔐Cryptographic Archaeology
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·7h
⚔️Lean Theorem
Cryptography for the Everyday Developer: Understanding AES - The Advanced Encryption Standard
sookocheff.com·15h
🔐Cryptographic Archaeology
Rewriting Modulo Traced Comonoid Structure
arxiv.org·2d
🔄Graph Rewriting
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·13h
🔗Tailscale
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔀Category Theory
Racket 8.18 Released
blog.racket-lang.org·21h·
Discuss: Hacker News
🧠Lisp Dialects
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Sysbench for MySQL 5.6 thru 9.4 on a small server
smalldatum.blogspot.com·1d·
Discuss: smalldatum.blogspot.com
🦀Rusty Databases
Saleae Analyzer for the BDM protocol
zetier.com·2d
🔬Binary Analysis
The dangers of the JDBC bottleneck in Trino
starburst.io·13h·
Discuss: Hacker News
🦀Rusty Databases
CRYSTALS - The Gently Introduction
dev.to·1d·
Discuss: DEV
⚗️Algebraic Coding
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·4d·
Discuss: r/programming
🔤Type Theory
Get Back To WARP
binary.ninja·13h
🧪Binary Fuzzing
A string formatting library in 65 lines of C++
riki.house·10h·
Discuss: Lobsters, Hacker News
✅Format Verification
Pgschema: Postgres Declarative Schema Migration, Like Terraform
pgschema.com·13h·
Discuss: Hacker News
🚚Data Migration
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·1d·
Discuss: Hacker News, r/programming
⚡Performance Mythology
Contrasting Data and Objects (2018)
tedinski.com·2d·
Discuss: Hacker News
💻Programming languages